Your search returned 2 results. Subscribe to this search

|
1. Temporal logic of programs by Kroger, Fred Publication: Birmingham: Springer-Verlag,, 1987 . 146p. Date: 1987 Availability: Items available: უცხოური ლიტერატურის სამკითხველო დარბაზი (1),
2. Computability by Weihrauch, K. Publication: Berlin : Springer-Verlag,, 1987 . 517p. Date: 1987 Availability: Items available: უცხოური ლიტერატურის სამკითხველო დარბაზი (1),